• bicartesian closed category

bicartesian closed category (suomeksi)

Määritelmät:

• (lb, en, category theory) A cartesian closed category which also has an initial object and such that for any pair of objects, ''A'' and ''B'', in the category, the category has another object which is their coproduct, $A\; \backslash coprod\; B$.